Hi, this plugin doesn't support new 4.2 plugin api, and is incompatible with the Console
4.3.1 (it uses an old method)
[error] BeanShellAction: java.lang.NoSuchMethodError: console.Console.setShell(Lconsole/Shell;)V
| Submitted | kpouer - 2007-01-22 - 10:45:59z | Assigned | nobody |
|---|---|---|---|
| Priority | 5 | Category | None |
| Status | Open | Group | None |
| Resolution | None | Visibility | No |
| 2012-08-03 - 05:31:00z ezust |
Fixed corresponding entry in plugin manager so it won't show up for current versions
of jEdit, and will also be marked as unsupported by jEdit 5.1 and later. |
|---|